#!/bin/sh

_default_java_home=/opt/jdk1.5.0_16

. $DEV_HOME/tools/java.sh
